Schallhart, Christian: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[ACM Press the 22nd International Conference - Rio de Janeiro, Brazil (2013.05.13-2013.05.17)] Proceedings of the 22nd International Conference on World Wide Web - WWW '13 Companion - Effective web scraping with OXPath

Grasso, Giovanni, Furche, Tim, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 590 KB

english, 2013

2

Runtime Verification for LTL and TLTL

Bauer, Andreas, Leucker, Martin, Schallhart, Christian

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2011

Language:

english

File:

PDF, 805 KB

english, 2011

3

OXPath: A language for scalable data extraction, automation, and crawling on the deep web

Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Sellers

Journal:

The VLDB Journal

Year:

2013

Language:

english

File:

PDF, 2.63 MB

english, 2013

4

[Lecture Notes in Computer Science] Big Data Volume 7968 || Querying Big Social Data

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 272 KB

english, 2013

5

Semantic integrity in large-scale online simulations

Jha, Somesh, Katzenbeisser, Stefan, Schallhart, Christian, Veith, Helmut, Chenney, Stephen

Journal:

ACM Transactions on Internet Technology

Year:

2010

Language:

english

File:

PDF, 449 KB

english, 2010

6

P ea CE-Ful Web Event Extraction and Processing as Bitemporal Mutable Events

Furche, Tim, Grasso, Giovanni, Huemer, Michael, Schallhart, Christian, Schrefl, Michael

Journal:

ACM Transactions on the Web

Year:

2016

Language:

english

File:

PDF, 2.85 MB

english, 2016

7

[ACM Press the 21st international conference companion - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion - Visual oXPath

Kranzdorf, Jochen, Sellers, Andrew, Grasso, Giovanni, Schallhart, Christian, Furche, Tim

Year:

2012

Language:

english

File:

PDF, 956 KB

english, 2012

8

[Lecture Notes in Computer Science] Big Data Volume 7968 || Compilation and Synthesis in Big Data Analytics

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 50 KB

english, 2013

9

[ACM Press the 21st international conference - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference on World Wide Web - WWW '12 - OPAL

Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Guo, Xiaonan, Orsi, Giorgio, Schallhart, Christian

Year:

2012

Language:

english

File:

PDF, 898 KB

english, 2012

10

Proactive Detection of Computer Worms Using Model Checking

Kinder, Johannes, Katzenbeisser, Stefan, Schallhart, Christian, Veith, Helmut

Journal:

IEEE Transactions on Dependable and Secure Computing

Year:

2010

Language:

english

File:

PDF, 3.26 MB

english, 2010

11

[ACM Press the 2016 International Conference - San Francisco, California, USA (2016.06.26-2016.07.01)] Proceedings of the 2016 International Conference on Management of Data - SIGMOD '16 - Robust and Noise Resistant Wrapper Induction

Furche, Tim, Guo, Jinsong, Maneth, Sebastian, Schallhart, Christian

Year:

2016

Language:

english

File:

PDF, 892 KB

english, 2016

12

[Lecture Notes in Computer Science] Big Data Volume 7968 || The Providence of Provenance

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 112 KB

english, 2013

13

[ACM Press the 21st international conference companion - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion - OPAL

Guo, Xiaonan, Kranzdorf, Jochen, Furche, Tim, Grasso, Giovanni, Orsi, Giorgio, Schallhart, Christian

Year:

2012

Language:

english

File:

PDF, 627 KB

english, 2012

14

[Lecture Notes in Computer Science] Big Data Volume 7968 || Representing MapReduce Optimisations in the Nested Relational Calculus

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 207 KB

english, 2013

15

[Lecture Notes in Computer Science] Big Data Volume 7968 || Big Data Begets Big Database Theory

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 123 KB

english, 2013

16

[Lecture Notes in Computer Science] Big Data Volume 7968 || Bisimulation Reduction of Big Graphs on MapReduce

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 430 KB

english, 2013

17

A brief account of runtime verification

Martin Leucker, Christian Schallhart

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 170 KB

english, 2009

18

Verification across Intellectual Property Boundaries

Chaki, Sagar, Schallhart, Christian, Veith, Helmut

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 1.06 MB

english, 2013

19

Don’t care in SMT: building flexible yet efficient abstraction/refinement solvers

Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 843 KB

english, 2010

20

[Lecture Notes in Computer Science] Big Data Volume 7968 ||

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 8.02 MB

english, 2013

21

[Lecture Notes in Computer Science] Big Data Volume 7968 || Database Research Challenges and Opportunities of Big Graph Data

Gottlob, Georg, Grasso, Giovanni, Olteanu, Dan, Schallhart, Christian

Year:

2013

Language:

english

File:

PDF, 90 KB

english, 2013

22

[ACM Press the 21st international conference companion - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion - DIADEM

Furche, Tim, Wang, Cheng, Gottlob, Georg, Grasso, Giovanni, Gunes, Omer, Guo, Xiaoanan, Kravchenko, Andrey, Orsi, Giorgio, Schallhart, Christian, Sellers, Andrew

Year:

2012

Language:

english

File:

PDF, 2.47 MB

english, 2012

23

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - How did you specify your test suite

Holzer, Andreas, Tautschnig, Michael, Veith, Helmut, Schallhart, Christian

Year:

2010

Language:

english

File:

PDF, 401 KB

english, 2010

24

The ontological key: automatically understanding and integrating forms to access the deep Web

Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Guo, Xiaonan, Orsi, Giorgio, Schallhart, Christian

Journal:

The VLDB Journal

Year:

2013

Language:

english

File:

PDF, 1.82 MB

english, 2013

25

[ACM Press the 14th International Conference - Uppsala, Sweden (2011.03.21-2011.03.24)] Proceedings of the 14th International Conference on Extending Database Technology - EDBT/ICDT '11 - Taking the OXPath down the deep web

Sellers, Andrew, Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Schallhart, Christian

Year:

2011

Language:

english

File:

PDF, 773 KB

english, 2011

26

[ACM Press the 20th international conference companion - Hyderabad, India (2011.03.28-2011.04.01)] Proceedings of the 20th international conference companion on World wide web - WWW '11 - OXPath

Sellers, Andrew Jon, Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Schallhart, Christian

Year:

2011

Language:

english

File:

PDF, 1.01 MB

english, 2011

27

DIADEM

Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Guo, Xiaonan, Orsi, Giorgio, Schallhart, Christian, Wang, Cheng

Journal:

Proceedings of the VLDB Endowment

Year:

2014

Language:

english

File:

PDF, 1.06 MB

english, 2014

28

[ACM Press the International Conference - Sogndal, Norway (2011.05.25-2011.05.27)] Proceedings of the International Conference on Web Intelligence, Mining and Semantics - WIMS '11 - Real understanding of real estate forms

Furche, Tim, Gottlob, Georg, Grasso, Giovanni, Guo, Xiaonan, Orsi, Giorgio, Schallhart, Christian

Year:

2011

Language:

english

File:

PDF, 961 KB

english, 2011

29

[ACM Press the 21st international conference companion - Lyon, France (2012.04.16-2012.04.20)] Proceedings of the 21st international conference companion on World Wide Web - WWW '12 Companion - Automatically learning gazetteers from the deep web

Furche, Tim, Grasso, Giovanni, Orsi, Giorgio, Schallhart, Christian, Wang, Cheng

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

30

Closure properties and complexity of rational sets of regular languages

Holzer, Andreas, Schallhart, Christian, Tautschnig, Michael, Veith, Helmut

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 581 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски